FIncr $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$f$ $\mid$ $i$:$\mathbb{N}$ $\rightarrow$ if ($i$ =$_{0}$ 0) then $\mathbb{Z}$ else \{$f$($i$ {-} 1)$\ldots\,$\} fi \}